在 Rust 中，模式匹配不僅是控制流程的一個分支——它正是 綁定的架構。每當你宣告變數或定義函數時，其實都在進行模式匹配。
當我們撰寫 let x = 5;時，我們不只是在賦值。我們實際上是在將值 5 與 不可反駁的模式x進行比對。由於 x 是一個可代表任何值的名稱，因此比對總是成功，並建立一個 本地綁定。
或許最深刻的體會在於 函數簽名本身就是一種模式。在簽名 fn foo(x: i32)中，程式預期接收一個 i32 ，並使用模式 x 來綁定傳入的引數。這表示每個函數呼叫都等同於一次單臂比對事件。
模式不僅限於 match。它們也出現在 for 迴圈（解構元組）、 while let 條件判斷，甚至 if let 表達式中。這個 本地綁定 原則確保了 Rust 程式碼始終具有高度表現力，無論你是從結構體中提取資料，還是遍歷雜湊映射。
let x = 5;, x is technically a pattern.let statement is always a pattern.for (x, y) in points, what is (x, y) representing?let Some(x) = some_option; invalid?let requires an irrefutable pattern. Some(x) is refutable because it fails if the value is None.Some(x) might fail to match, and let statements must be guaranteed to succeed.fn process_point(&(x, y): &(i32, i32)) and a variable let origin = (0, 0);. Consider how patterns are moving through this system.&(x, y).x and y immediately upon function entry.fn process_point(Point { x, y }: Point), what does this tell us about structs?x and y when the function is called.fn print_id(id: i32) {
// The parameter 'id' is an irrefutable pattern
println!("Function param pattern matched: id = {}", id);
}
fn main() {
// 1. let statements use patterns
let x = 5;
// 2. Destructuring in a let statement
let (a, b) = (10, 20);
println!("Local bindings: x={}, a={}, b={}", x, a, b);
// 3. Function call as a pattern matching event
print_id(x);
// 4. For loops use patterns
let points = vec![(0, 0), (1, 2)];
for (x_coord, y_coord) in points {
println!("Loop pattern: ({}, {})", x_coord, y_coord);
}
}